Ambient calculus - PDFSEARCH.IO - Document Search Engine

Ambient calculus
Results: 35

#	Item
11	PDF Document Add to Reading List Source URL: barbara.nicolas.free.fr Language: English - Date: 2006-03-21 04:52:01 Electromagnetic radiation Transverse mode Normal mode Wave Ambient Vibrations Physics Calculus Wave mechanics
12	Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:02:24 Algebra Valuation Symbol Mobile Membranes Natural deduction Process calculi Abstract algebra Ambient calculus
13	A Calculus of Bounded Capacities? F. Barbanera1 , M. Bugliesi2 , M. Dezani-Ciancaglini3 , and V. Sassone4 1 2 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:50:58 Mobile Membranes Process calculi Ambient calculus Calculus
14	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
15	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus
16	Secrecy in Untrusted Networks? Michele Bugliesi 1 , Silvia Crafa 1 , Amela Prelic 2 , and Vladimiro Sassone 3 Abstract. We investigate the protection of migrating agents against the untrusted sites they traverse. The res Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:51 Process calculi Entailment Mobile Membranes Logic Deduction Ambient calculus
17	Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:01 Applied mathematics Computer science Mathematics Π-calculus Lambda calculus Calculus XTR Mobile Membranes Process calculi Theoretical computer science Ambient calculus
18	Space-Aware Ambients and Processes ? Franco Barbanera Universit` a di Catania, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-08 08:30:15 Valuation Mathematics Mobile Membranes Π-calculus Process calculi Ambient calculus Calculus
19	Bachelor Thesis: „Security Aspects of Digital Actors“ By: Ayse Morali Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Actor model Concurrent computing Security Ambient calculus Computer security Middleware Process calculi Computing Electronic commerce
20	Are Ultra Low Frequency Waves Suitable For Detection ? Add to Reading List Source URL: barbara.nicolas.free.fr Language: English - Date: 2006-03-21 04:53:27 Waves Seismic wave Wave Propagation constant Surface wave inversion Ambient Vibrations Physics Wave mechanics Calculus